The derivation of performance expressions for communication protocols from timed petri net models
نویسندگان
چکیده
منابع مشابه
Derivation of Petri Net Performance Models from UMLSpeci cations
As hardware becomes faster and bandwidth greater, the determination of the performance of software based systems during design, known as Software Performance Engineering (SPE), is a growing concern. A recent seminar of experts at Dagstuhl and the First International Workshop on Software and Performance have both highlighted the need to bring performance evaluation into the software design proce...
متن کاملInvariant-Based Performance Analysis of Timed Petri Net Models
In timed Petri nets, temporal properties are associated with transitions as transition firing times (or occurrence times). For net models which can be decomposed into a family of place invariants, performance analysis can be conveniently performed on the basis of its components. The paper presents an approach to finding place invariants of net models and proposes an incremental method which, fo...
متن کاملTimed Petri net models of cluster tools
Timed Petri nets are used as models of cluster tools, representing not only the concurrency activities of different chambers, but also the durations of these activities. Structural analysis, based on net invariants, provides basic performance measures, such as throughput and cycle time. The results are obtained in symbolic form, so many specific variants can easily be compared without repeated ...
متن کاملTimed Petri Net Models of ATM LANs
Abstra t. The Asyn hronous Transfer Mode (ATM) is a fast pa ket{ swit hing ommuni ation method using small xed-length ells. A model of an ATM LAN is presented whi h provides a realisti representation of data transmission by modeling both the ATM network and the appliations running over it. Colored Petri nets are used to reate a ompa t model that is apable of representing a variety of di erent p...
متن کاملDerivation of Petri Net Performance Models from UML Specifications of Communications Software
As hardware becomes faster and bandwidth greater, the determination of the performance of software based systems during design, known as Software Performance Engineering (SPE), is a growing concern. A recent seminar of experts at Dagstuhl and the First International Workshop on Software and Performance have both highlighted the need to bring performance evaluation into the software design proce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGCOMM Computer Communication Review
سال: 1984
ISSN: 0146-4833
DOI: 10.1145/639624.802080